Section: Software and Platforms
HOT
Participant : Frédéric Blanqui.
HOT is an automated termination prover for higher-order rewrite systems based on the notion of computability closure and size annotation [24] . It won the 2012 competition in the category “higher-order rewriting union beta”. The sources are not public.